More from this Author
Found 5 books by Gilles Barthe (Editor)
Foundations of Probabilistic Programming
by Gilles Barthe (Editor), Joost-Pieter Katoen (Editor), Alexandra Silva (Editor)
Security and Trust Management
by Gilles Barthe (Editor), Evangelos Markatos (Editor), Pierangela Samarati (Editor)
Programming Languages and Systems
by Gilles Barthe (Editor)
Verification, Model Checking, and Abstract Interpretation
by Gilles Barthe (Editor), Manuel Hermenegildo (Editor)
Software Engineering and Formal Methods
by Gilles Barthe (Editor), Alberto Pardo (Editor), Gerardo Schneider (Editor)